منابع مشابه
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the symbolic computation tools, DISCOVERER and QEPCAD, to some interesting examples. keywords: Program Verification, Loop Termination, Ranking Function, Polynomial Programs, Semi-Algebraic Systems, Computer Algebra, DISCOVERER, QEPCAD
متن کاملLinear versus Non-linear Approximation of Step-Functions
We investigate, from the point of view of a comparison of linear and non-linear approximation methods, one specific example, where many of important general phenomena become fairly apparent. This is the family of the step (or Heaviside) functions Ht(x), t ∈ [0, 1], defined for x ∈ [0, 1] by Ht(x) = 1, x ≤ t and Ht(x) = 0, x > t. The main problem we have in mind is compression of images, still a...
متن کاملAPPROXIMATION OF 3D-PARAMETRIC FUNCTIONS BY BICUBIC B-SPLINE FUNCTIONS
In this paper we propose a method to approximate a parametric 3 D-function by bicubic B-spline functions
متن کاملNon-Lipschitz Semi-Infinite Optimization Problems Involving Local Cone Approximation
In this paper we study the nonsmooth semi-infinite programming problem with inequality constraints. First, we consider the notions of local cone approximation $Lambda$ and $Lambda$-subdifferential. Then, we derive the Karush-Kuhn-Tucker optimality conditions under the Abadie and the Guignard constraint qualifications.
متن کاملNon-Linear Approximation of Functions with Mixed Smoothness by Sets of Finite Pseudo-Dimension
In this paper, the non-linear approximation on the class of multivariate functions with bounded mixed derivatives is investigated, and the asymptotic degree of the non-linear width on this class is determined.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Approximation Theory
سال: 1986
ISSN: 0021-9045
DOI: 10.1016/0021-9045(86)90003-1